David Walker

Results: 488



#Item
141Entailment / Logical syntax / Metalogic / Philosophical logic / Stack / Symbol / Logic / Deduction / Propositional calculus

Certifying Compilation for a Language with Stack Allocation Limin Jia Frances Spalding David Walker Princeton University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-11-11 20:30:18
142United Nations Environment Programme / World Meteorological Organization / United Nations Framework Convention on Climate Change / IPCC Summary for Policymakers / Scientific opinion on climate change / Climate change / Environment / Intergovernmental Panel on Climate Change

WALKER INSTITUTE EXTERNAL SEMINAR “Climate Change Science and Policy” David Warrilow Department for Energy and Climate Change

Add to Reading List

Source URL: www.walker-institute.ac.uk

Language: English - Date: 2010-10-19 07:07:49
143Model theory / Predicate logic / C programming language / Struct / Interpretation / Pointer / C++ classes / ALGOL 68 / Function / Logic / Mathematical logic / Software engineering

Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker Princeton University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-11-11 20:30:18
144United Kingdom / Lloyds Bank / Prudential plc / Scottish Widows / Lloyds TSB / David Alan Walker / Lloyds Banking Group / Economy of the United Kingdom / Insurance

Nicholas Prettejohn Trustee Nicholas is currently Chair of the Britten-Pears Foundation, Chairman of the Royal Northern College of Music, Chairman of Scottish Widows and Non-Executive Director at Lloyds Banking Group plc

Add to Reading List

Source URL: downloads.bbc.co.uk

Language: English - Date: 2014-11-03 11:32:44
145Australian Studies Centre / David Walker / Renmin University of China / Anxious Nation / Peking University / Beijing / Edmund Capon / Deakin University / Culture of Australia / Project 211 / Project 985 / States and territories of Australia

CONFERENCE OVERVIEW The Big Picture: Lives, Landscapes, Homelands in Australian and Chinese Art is designed to stimulate discussion in a field that has become increasingly important to both Australia and China, and yet

Add to Reading List

Source URL: www.australianstudies.jp

Language: English - Date: 2014-09-07 22:35:30
146Mitchell / State Library of New South Wales / New South Wales / British Isles / Australia / Members of the New South Wales Legislative Council / David Scott Mitchell / Alexander Walker Scott

Australiana November 2012 vol. 34 no. 4 James Mitchell ’s

Add to Reading List

Source URL: www.harbeck.com.au

Language: English - Date: 2012-11-14 01:59:24
147Financial secretary / Permanent Secretary / Secretary / United States Department of the Treasury / David Alan Walker / Government / Financial Services and the Treasury Bureau / Hong Kong Government

Annex 4.1 Government Officers Involved in Securities-related Policies Financial Secretary Hon Antony Leung Secretary for Financial Services and the Treasury

Add to Reading List

Source URL: www.info.gov.hk

Language: English - Date: 2002-10-23 22:49:29
148Cinema of the United States / IFC Center / Crude / Lucy Walker / Culture of New York City / Brooklyn Academy of Music / Sundance Film Festival / New York / Films

BAMcinématek announces complete lineup for the fifth annual BAMcinemaFest, a festival of American independents with 22 New York premieres and one world premiere, Jun 19—28 Opening Night—New York premiere of David Lo

Add to Reading List

Source URL: www.bam.org

Language: English - Date: 2013-05-09 11:47:46
149Economy of the United States / United States public debt / United States / The Peter G. Peterson Foundation / Fiscal Wake-Up Tour / Accountancy / Comptroller / Peter George Peterson / Eugene Louis Dodaro / David M. Walker / Comptroller General of the United States / Government Accountability Office

David M. Walker, U.S. Comptroller General, Announces Early Departure to Head New Public Interest Foundation

Add to Reading List

Source URL: www.gao.gov

Language: English - Date: 2008-02-26 11:09:44
150Government / Public finance / Keynesian economics / United States federal budget / Baseline / Government budget deficit / United States budget process / Deficit spending / Medicare / Fiscal policy / Economic policy / Public economics

United States General Accounting Office GAO Observations Of David M. Walker

Add to Reading List

Source URL: www.gao.gov

Language: English - Date: 2007-08-28 09:51:53
UPDATE